机译:用于基于可编程逻辑控制器(PLC)的安全关键型系统开发的软件设计规范和分析技术(SDSAT)
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:将安全关键应用软件规范的自动翻译为PLC梯逻辑
机译:利用PLC梯形图逻辑生成基于签名的IDS规则。
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:使用梯形逻辑定义的铁路联锁系统中的安全属性的自动验证